নিচের বামের চিত্রে গাঢ় অংশটুকু A∪(B∪C) এবং (A∪B)∪C উভয় সেটই নির্দেশ করে। সুতরাং এক্ষেত্রে A∪(B∪C)=(A∪B)∪C। নিচের ডানের চিত্রে গাঢ় অংশটুকু A∩(B∩C) এবং (A∩B)∩C উভয় সেটই নির্দেশ করে। সুতরাং এক্ষেত্রে (A∩B)∩C=A∩(B∩C)।
উপরে ভেনচিত্রের সাহায্যে যাচাই করা হয়েছে। এবার সুনির্দিষ্ট উদাহরণ দিয়ে দেখা যাক।
মনে করি এবং ।
তাহলে,
এবং A∪(B∪C)={a,b,c,d} ∪ {b,c,d,f,g}={a,b,c,d,f,g}।
আবার, A∪B={a,b,c,d} ∪ {b,c,f}={a,b,c,d,f}
এবং (A∪B)∪C={a,b,c,d,f} ∪ {c,d,g}={a,b,c,d,f,g}।
সুতরাং এক্ষেত্রে (A∪B)∪C=A∪(B∪C)।
আবার, B∩C={b,c,f} ∩ {c,d,g}={c}
এবংA∩(B∩C)={a,b,c,d} ∩ {c}={c} ।
আবার,A∩B={a,b,c,d} ∩ {b,c,f}={b,c}
এবং(A∩B)∩C={b,c} ∩ {c,d,g}={c}।
সুতরাং এক্ষেত্রে A∩(B∩C)=(A∩B)∩C
দ্রষ্টব্য: সেটের সংযোগ ও ছেদ প্রক্রিয়া দুইটির প্রতিটি অপরটির প্রেক্ষিতে বন্টন নিয়ম মেনে চলে।
প্রতিজ্ঞা ১ (ডি মরগ্যানের সূত্র): সার্বিক সেট U এর যেকোনো উপসেট A ও B এর জন্য
ক) (A∪B)'=A'∩B' খ) (A∩B)'=A'∪B'
প্রমাণ: ( কেবল প্রথমটির প্রমাণ নিচে দেখানো হয়েছে। পরেরটির প্রমাণ নিজে কর।)
ক) মনে করি,x∈(A∪B)'। তাহলে, x∉A∪B|
⇒x∉Aএবং x∉B ⇒x∈A' এবং x∈B' ⇒x∈A'∩B'
∴(A∪B)'⊆A'∩B'
আবার মনে করি,x∈A'∩B'। তাহলে, x∈A' এবং x∈B'
⇒x∉Aএবংx∉B⇒x∉A∪B⇒x∈(A∪B)'
∴A'∩B'=(A∪B)'
সুতরাং (A∪B)'=A'∩B'।
প্রতিজ্ঞা ২. সার্বিক সেট U এর যেকোনো উপসেট A ও B এর জন্য A\B=A∩B'
প্রমাণ: মনে করি, x∈A\B। তাহলে, x∈A এবং x∈B।
⇒x∈A এবং x∈B' ⇒x∈A∩B'
∴A\B⊆A∩B'।
আবার মনে করি, x∈A∩B'। তাহলে, x∈A এবং x∈B'।
⇒x∈Aএবং x∉B ⇒x∈A\B
∴A∩B'⊆A\B
সুতরাং, A\B=A∩B'
প্ৰতিজ্ঞা ৩. যেকোনো সেট A,B,C এর জন্য
ক) A×(B∩C)=(A×B)∩(A×C)
খ)A×(B∪C)=(A×B)∪(A×C)
প্রমাণ:(কেবল প্রথমটির প্রমাণ নিচে দেখানো হয়েছে। পরেরটির প্রমাণ নিজে কর।)
ক) সংজ্ঞানুসারে, A×(B∩C)
={(x,y): x∈A, x∈B এবং y∈C}
={(x,y): (x,y)∈A×B এবং (x,y)∈A×C}
∴A×(B∩C)⊆(A×B)∩(A×C)
আবার, (A×B)∩(A×C)
={(x,y):(x,y)∈A×B এবং (x,y)∈A×C}
={(x,y): x∈A, y∈B এবং x∈A, y∈C}
∴(A×B)∩(A×C)⊆A×(B∩C)
সুতরাং, A×(B∩C)=(A×B)∩(A×C)।
common.read_more